$\forall$$M$:MsgA. $M$.kind $\in$ Type